try fix dune regression

regression/dune

@@ -1,162 +1,320 @@
 ; This file was autogenerated
 
-(cram (deps ../src/Driver.exe ../runtime/Std.i))
+(cram
+ (deps ../src/Driver.exe ../runtime/runtime.a ../runtime/Std.i))
 
-(cram (applies_to test001)
+(cram
-  (deps test001.lama test001.input))
+ (applies_to test001)
-(cram (applies_to test002)
+ (deps test001.lama test001.input))
-  (deps test002.lama test002.input))
+
-(cram (applies_to test003)
+(cram
-  (deps test003.lama test003.input))
+ (applies_to test002)
-(cram (applies_to test004)
+ (deps test002.lama test002.input))
-  (deps test004.lama test004.input))
+
-(cram (applies_to test005)
+(cram
-  (deps test005.lama test005.input))
+ (applies_to test003)
-(cram (applies_to test006)
+ (deps test003.lama test003.input))
-  (deps test006.lama test006.input))
+
-(cram (applies_to test007)
+(cram
-  (deps test007.lama test007.input))
+ (applies_to test004)
-(cram (applies_to test008)
+ (deps test004.lama test004.input))
-  (deps test008.lama test008.input))
+
-(cram (applies_to test009)
+(cram
-  (deps test009.lama test009.input))
+ (applies_to test005)
-(cram (applies_to test010)
+ (deps test005.lama test005.input))
-  (deps test010.lama test010.input))
+
-(cram (applies_to test011)
+(cram
-  (deps test011.lama test011.input))
+ (applies_to test006)
-(cram (applies_to test012)
+ (deps test006.lama test006.input))
-  (deps test012.lama test012.input))
+
-(cram (applies_to test013)
+(cram
-  (deps test013.lama test013.input))
+ (applies_to test007)
-(cram (applies_to test014)
+ (deps test007.lama test007.input))
-  (deps test014.lama test014.input))
+
-(cram (applies_to test015)
+(cram
-  (deps test015.lama test015.input))
+ (applies_to test008)
-(cram (applies_to test016)
+ (deps test008.lama test008.input))
-  (deps test016.lama test016.input))
+
-(cram (applies_to test017)
+(cram
-  (deps test017.lama test017.input))
+ (applies_to test009)
-(cram (applies_to test018)
+ (deps test009.lama test009.input))
-  (deps test018.lama test018.input))
+
-(cram (applies_to test019)
+(cram
-  (deps test019.lama test019.input))
+ (applies_to test010)
-(cram (applies_to test020)
+ (deps test010.lama test010.input))
-  (deps test020.lama test020.input))
+
-(cram (applies_to test021)
+(cram
-  (deps test021.lama test021.input))
+ (applies_to test011)
-(cram (applies_to test022)
+ (deps test011.lama test011.input))
-  (deps test022.lama test022.input))
+
-(cram (applies_to test023)
+(cram
-  (deps test023.lama test023.input))
+ (applies_to test012)
-(cram (applies_to test024)
+ (deps test012.lama test012.input))
-  (deps test024.lama test024.input))
+
-(cram (applies_to test025)
+(cram
-  (deps test025.lama test025.input))
+ (applies_to test013)
-(cram (applies_to test026)
+ (deps test013.lama test013.input))
-  (deps test026.lama test026.input))
+
-(cram (applies_to test027)
+(cram
-  (deps test027.lama test027.input))
+ (applies_to test014)
-(cram (applies_to test028)
+ (deps test014.lama test014.input))
-  (deps test028.lama test028.input))
+
-(cram (applies_to test029)
+(cram
-  (deps test029.lama test029.input))
+ (applies_to test015)
-(cram (applies_to test034)
+ (deps test015.lama test015.input))
-  (deps test034.lama test034.input))
+
-(cram (applies_to test036)
+(cram
-  (deps test036.lama test036.input))
+ (applies_to test016)
-(cram (applies_to test040)
+ (deps test016.lama test016.input))
-  (deps test040.lama test040.input))
+
-(cram (applies_to test041)
+(cram
-  (deps test041.lama test041.input))
+ (applies_to test017)
-(cram (applies_to test042)
+ (deps test017.lama test017.input))
-  (deps test042.lama test042.input))
+
-(cram (applies_to test045)
+(cram
-  (deps test045.lama test045.input))
+ (applies_to test018)
-(cram (applies_to test046)
+ (deps test018.lama test018.input))
-  (deps test046.lama test046.input))
+
-(cram (applies_to test050)
+(cram
-  (deps test050.lama test050.input))
+ (applies_to test019)
-(cram (applies_to test054)
+ (deps test019.lama test019.input))
-  (deps test054.lama test054.input))
+
-(cram (applies_to test059)
+(cram
-  (deps test059.lama test059.input))
+ (applies_to test020)
-(cram (applies_to test063)
+ (deps test020.lama test020.input))
-  (deps test063.lama test063.input))
+
-(cram (applies_to test072)
+(cram
-  (deps test072.lama test072.input))
+ (applies_to test021)
-(cram (applies_to test073)
+ (deps test021.lama test021.input))
-  (deps test073.lama test073.input))
+
-(cram (applies_to test074)
+(cram
-  (deps test074.lama test074.input))
+ (applies_to test022)
-(cram (applies_to test077)
+ (deps test022.lama test022.input))
-  (deps test077.lama test077.input))
+
-(cram (applies_to test078)
+(cram
-  (deps test078.lama test078.input))
+ (applies_to test023)
-(cram (applies_to test079)
+ (deps test023.lama test023.input))
-  (deps test079.lama test079.input))
+
-(cram (applies_to test080)
+(cram
-  (deps test080.lama test080.input))
+ (applies_to test024)
-(cram (applies_to test081)
+ (deps test024.lama test024.input))
-  (deps test081.lama test081.input))
+
-(cram (applies_to test082)
+(cram
-  (deps test082.lama test082.input))
+ (applies_to test025)
-(cram (applies_to test083)
+ (deps test025.lama test025.input))
-  (deps test083.lama test083.input))
+
-(cram (applies_to test084)
+(cram
-  (deps test084.lama test084.input))
+ (applies_to test026)
-(cram (applies_to test085)
+ (deps test026.lama test026.input))
-  (deps test085.lama test085.input))
+
-(cram (applies_to test086)
+(cram
-  (deps test086.lama test086.input))
+ (applies_to test027)
-(cram (applies_to test088)
+ (deps test027.lama test027.input))
-  (deps test088.lama test088.input))
+
-(cram (applies_to test089)
+(cram
-  (deps test089.lama test089.input))
+ (applies_to test028)
-(cram (applies_to test090)
+ (deps test028.lama test028.input))
-  (deps test090.lama test090.input))
+
-(cram (applies_to test091)
+(cram
-  (deps test091.lama test091.input))
+ (applies_to test029)
-(cram (applies_to test092)
+ (deps test029.lama test029.input))
-  (deps test092.lama test092.input))
+
-(cram (applies_to test093)
+(cram
-  (deps test093.lama test093.input))
+ (applies_to test034)
-(cram (applies_to test094)
+ (deps test034.lama test034.input))
-  (deps test094.lama test094.input))
+
-(cram (applies_to test095)
+(cram
-  (deps test095.lama test095.input))
+ (applies_to test036)
-(cram (applies_to test096)
+ (deps test036.lama test036.input))
-  (deps test096.lama test096.input))
+
-(cram (applies_to test097)
+(cram
-  (deps test097.lama test097.input))
+ (applies_to test040)
-(cram (applies_to test098)
+ (deps test040.lama test040.input))
-  (deps test098.lama test098.input))
+
-(cram (applies_to test099)
+(cram
-  (deps test099.lama test099.input))
+ (applies_to test041)
-(cram (applies_to test100)
+ (deps test041.lama test041.input))
-  (deps test100.lama test100.input))
+
-(cram (applies_to test101)
+(cram
-  (deps test101.lama test101.input))
+ (applies_to test042)
-(cram (applies_to test102)
+ (deps test042.lama test042.input))
-  (deps test102.lama test102.input))
+
-(cram (applies_to test103)
+(cram
-  (deps test103.lama test103.input))
+ (applies_to test045)
-(cram (applies_to test104)
+ (deps test045.lama test045.input))
-  (deps test104.lama test104.input))
+
-(cram (applies_to test105)
+(cram
-  (deps test105.lama test105.input))
+ (applies_to test046)
-(cram (applies_to test106)
+ (deps test046.lama test046.input))
-  (deps test106.lama test106.input))
+
-(cram (applies_to test107)
+(cram
-  (deps test107.lama test107.input))
+ (applies_to test050)
-(cram (applies_to test110)
+ (deps test050.lama test050.input))
-  (deps test110.lama test110.input))
+
-(cram (applies_to test111)
+(cram
-  (deps test111.lama test111.input))
+ (applies_to test054)
-(cram (applies_to test112)
+ (deps test054.lama test054.input))
-  (deps test112.lama test112.input))
+
-(cram (applies_to test801)
+(cram
-  (deps test801.lama test801.input))
+ (applies_to test059)
-(cram (applies_to test802)
+ (deps test059.lama test059.input))
-  (deps test802.lama test802.input))
+
-(cram (applies_to test803)
+(cram
-  (deps test803.lama test803.input))
+ (applies_to test063)
+ (deps test063.lama test063.input))
+
+(cram
+ (applies_to test072)
+ (deps test072.lama test072.input))
+
+(cram
+ (applies_to test073)
+ (deps test073.lama test073.input))
+
+(cram
+ (applies_to test074)
+ (deps test074.lama test074.input))
+
+(cram
+ (applies_to test077)
+ (deps test077.lama test077.input))
+
+(cram
+ (applies_to test078)
+ (deps test078.lama test078.input))
+
+(cram
+ (applies_to test079)
+ (deps test079.lama test079.input))
+
+(cram
+ (applies_to test080)
+ (deps test080.lama test080.input))
+
+(cram
+ (applies_to test081)
+ (deps test081.lama test081.input))
+
+(cram
+ (applies_to test082)
+ (deps test082.lama test082.input))
+
+(cram
+ (applies_to test083)
+ (deps test083.lama test083.input))
+
+(cram
+ (applies_to test084)
+ (deps test084.lama test084.input))
+
+(cram
+ (applies_to test085)
+ (deps test085.lama test085.input))
+
+(cram
+ (applies_to test086)
+ (deps test086.lama test086.input))
+
+(cram
+ (applies_to test088)
+ (deps test088.lama test088.input))
+
+(cram
+ (applies_to test089)
+ (deps test089.lama test089.input))
+
+(cram
+ (applies_to test090)
+ (deps test090.lama test090.input))
+
+(cram
+ (applies_to test091)
+ (deps test091.lama test091.input))
+
+(cram
+ (applies_to test092)
+ (deps test092.lama test092.input))
+
+(cram
+ (applies_to test093)
+ (deps test093.lama test093.input))
+
+(cram
+ (applies_to test094)
+ (deps test094.lama test094.input))
+
+(cram
+ (applies_to test095)
+ (deps test095.lama test095.input))
+
+(cram
+ (applies_to test096)
+ (deps test096.lama test096.input))
+
+(cram
+ (applies_to test097)
+ (deps test097.lama test097.input))
+
+(cram
+ (applies_to test098)
+ (deps test098.lama test098.input))
+
+(cram
+ (applies_to test099)
+ (deps test099.lama test099.input))
+
+(cram
+ (applies_to test100)
+ (deps test100.lama test100.input))
+
+(cram
+ (applies_to test101)
+ (deps test101.lama test101.input))
+
+(cram
+ (applies_to test102)
+ (deps test102.lama test102.input))
+
+(cram
+ (applies_to test103)
+ (deps test103.lama test103.input))
+
+(cram
+ (applies_to test104)
+ (deps test104.lama test104.input))
+
+(cram
+ (applies_to test105)
+ (deps test105.lama test105.input))
+
+(cram
+ (applies_to test106)
+ (deps test106.lama test106.input))
+
+(cram
+ (applies_to test107)
+ (deps test107.lama test107.input))
+
+(cram
+ (applies_to test110)
+ (deps test110.lama test110.input))
+
+(cram
+ (applies_to test111)
+ (deps test111.lama test111.input))
+
+(cram
+ (applies_to test112)
+ (deps test112.lama test112.input))
+
+(cram
+ (applies_to test801)
+ (deps test801.lama test801.input))
+
+(cram
+ (applies_to test802)
+ (deps test802.lama test802.input))
+
+(cram
+ (applies_to test803)
+ (deps test803.lama test803.input))