Update span to relative + clean root

sarsko · Jul 27, 2022 · 369b97e · 369b97e
1 parent 0841dbe
commit 369b97e
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 1,817 deletions.
diff --git a/Makefile.toml b/Makefile.toml
@@ -75,7 +75,7 @@ dependencies = [
 [tasks.creusot-CreuSAT]
 workspace = false
 command = "cargo"
-args = ["creusot", "--", "-p", "CreuSAT", "--features=contracts", "--features", "${@}"]
+args = ["creusot", "--span-mode=relative", "--", "-p", "CreuSAT", "--features=contracts", "--features", "${@}"]
 
 [tasks.move-CreuSAT]
 workspace = false

diff --git a/mlcfgs/CreuSAT.mlcfg b/mlcfgs/CreuSAT.mlcfg
@@ -12490,7 +12490,7 @@ module CreuSat_Formula_Impl2_AddUnwatchedClause
   }
   BB4 {
     _6 <- ();
-    old_self_5 <- ghost ([#"../CreuSAT/src/formula.rs" 159 43 159 58] self_1);
+    old_self_5 <- ghost ([#"../CreuSAT/src/formula.rs" 159 44 159 59] self_1);
     goto BB5
   }
   BB5 {
@@ -17580,7 +17580,7 @@ module CreuSat_Trail_Impl0_BacktrackTo
   }
   BB35 {
     _88 <- ();
-    old_t3_87 <- ghost ([#"../CreuSAT/src/trail.rs" 175 45 175 60] self_1);
+    old_t3_87 <- ghost ([#"../CreuSAT/src/trail.rs" 175 44 175 59] self_1);
     goto BB36
   }
   BB36 {