Pablo Simplifier issue with pablo::VariableTable::dominates
On branch codepoint-properties at commit #db3ec268, there is a bug in the pablo simplifier as illustrated by the following test case on cs-osl-11.
cameron@cs-osl-11:~/parabix-devel/debug12-build$ gdb bin/icgrep
(gdb) set args '\b(\p{Letter})(\p{Letter})\p{Letter}\2\1\b' ../QA/testfiles/palindromes
(gdb) run
Starting program: /home/cameron/parabix-devel/debug12-build/bin/icgrep '\b(\p{Letter})(\p{Letter})\p{Letter}\2\1\b' ../QA/testfiles/palindromes
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1".
icgrep: /home/cameron/parabix-devel/lib/pablo/pablo_simplifier.cpp:84: bool pablo::VariableTable::dominates(const pablo::Var*, const pablo::Var*) const: Assertion `mOuter' failed.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information