-
Allan Blanchard authoredAllan Blanchard authored
abs.driver 102 B
library "abs":
logic integer ABS (integer) = "my_abs" ;
coq.file := "Abs.v";
why3.file := "abs.why";
library "abs":
logic integer ABS (integer) = "my_abs" ;
coq.file := "Abs.v";
why3.file := "abs.why";