blob: cab2fd3dc0760eec81692b21bb3c0abe99f4aa0a (
plain)
1
2
3
|
Optimization2.bpl(6,11): Error: attributes :minimize and :maximize accept only one argument of type int, real or bv
Optimization2.bpl(11,11): Error: attributes :minimize and :maximize accept only one argument of type int, real or bv
2 type checking errors detected in Optimization2.bpl
|
