Fix bodil#124

Removal could cause a value to be moved from one node to another without checking that the target node had room for it.
rjmac · Jun 27, 2020 · af9c22b · af9c22b
1 parent 16220ec
commit af9c22b
Show file tree

Hide file tree

Showing 4 changed files with 3,517 additions and 3 deletions.
diff --git a/Makefile.toml b/Makefile.toml
@@ -72,7 +72,7 @@ fn read_doc<P: AsRef<Path>>(name: P) -> Document {
 fn make_dist(root: &Path, target: &str, manifest: &str) -> PathBuf {
   let path = root.join(target);
   fs::create_dir_all(&path).unwrap();
-  let mut src = vec!["src".into(), "build.rs".into(), "proptest-regressions".into()];
+  let mut src = vec!["src".into(), "build.rs".into(), "proptest-regressions".into(), "non-proptest-regressions".into()];
   for item in glob::glob("*.md").unwrap() {
     if let Ok(path) = item {
       src.push(path);