Skip to content
Snippets Groups Projects
Commit 26898dda authored by Jan Trávníček's avatar Jan Trávníček
Browse files

tests: exact nonlinear tree pattern automaton should be tested with single nonlinear variable 

The implementation so far is able to handle only single nonlinear variable.
parent 545534d7
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment