alt_ergo_trunk.drv 219 Bytes
Newer Older
Andrei Paskevich's avatar
Andrei Paskevich committed
1
import "alt_ergo.drv"
2

3
theory map.Map
4 5 6
  syntax type  map "(%1,%2) farray"
  syntax logic get "(%1[%2])"
  syntax logic set "(%1[%2 <- %3])"
7 8 9 10 11 12 13 14
end

(*
Local Variables:
mode: why
compile-command: "make -C .. bench"
End:
*)