Invalid Win32 application when using on cygwin and eclipse on windows xp
67 views
Skip to first unread message
Johny Lam
Oct 20, 2010, 4:58:00 PM10/20/10
to SMT Tools
I am using the delta debugger on a windows xp machine. I tried it in
both cygwin and eclipse but both times I get the following error when
running:
./deltasmt -v -v -v ./examples/ex1.smt ./reduced.smt ./examples/
run1.sh
Error:
file size of original formula: 312 bytes
computing golden exit code: exception occurred: Cannot run program "./
examples/run2.sh": CreateProcess error=193, %1 is not a valid Win32
application
Can anyone help?
both cygwin and eclipse but both times I get the following error when
running:
./deltasmt -v -v -v ./examples/ex1.smt ./reduced.smt ./examples/
run1.sh
Error:
file size of original formula: 312 bytes
computing golden exit code: exception occurred: Cannot run program "./
examples/run2.sh": CreateProcess error=193, %1 is not a valid Win32
application
Can anyone help?
Reply all
Reply to author
Forward
0 new messages