Exponential function support
Issue #800
new
exponential function is not yet supported completely. Can be witnessed by failing test /home/bartb/software/idp/tests/definitionWithXSBtests/twovalued_opens/exponential.idp
Comments (2)
-
reporter -
related to #822
- Log in to comment
Disabled test
See #800
→ <<cset 468caf8570e9>>