mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
17 lines
291 B
Plaintext
17 lines
291 B
Plaintext
plugin "simplify_array.cmo" "simplify_array.cmxs"
|
|
|
|
printer "why3"
|
|
|
|
filename "%f-%t-%s.why"
|
|
|
|
transformations
|
|
"simplify_array"
|
|
end
|
|
|
|
theory BuiltIn
|
|
syntax type int "int"
|
|
syntax type real "real"
|
|
syntax logic (_=_) "(%1 = %2)"
|
|
syntax logic (_<>_) "(%1 <> %2)"
|
|
end
|