count-bottomup fails if term contains integers
During the traversal, strategy
thread-replacementis invoked with input
thread-replacement(s) : (c#(ts), x) -> (c#(ts'), y) where <thread-map(s)> (ts, x) => (ts', y)
The difference I noticed with ctree and Java is that debuggingSubmitted by Oskar van Rest on 19 September 2013 at 02:31
3in case of ctree but in
(3,0)in case of Java.
Forgot to mention: with ctree it works and the output is correct. With Java, the strategy fails.
env.setCurrent(tvars);in between line 35 and 36 in SSL_get_constructor would fix this issue. Not sure if it makes sense that the constructor of an integer is the integer itself, but at least in this way it will behave the same as the ctree interpreter. I’ll make the change if there are no objections.
Log in to post comments