You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
$ cuter cuter_test test '["asdf"]' -v
Testing cuter_test:test/1 ...
WARNING: The spec of {cuter_test,test,1} uses the unsupported type iodata!
It has been generalized to any().
cuter_test:test(asdf) ... ok
Solver Statistics ...
- Solved models : 0
- Unsolved models : 0
No Runtime Errors Occured
The text was updated successfully, but these errors were encountered:
This simple module demonstrates the issue
Running cuter gives the output:
The text was updated successfully, but these errors were encountered: