search

karelklic / canal

Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32 stars 2 forks source link

ProductMessageTest fails under LLVM2.8 #169

Closed xbrukner closed 11 years ago

xbrukner commented 11 years ago 
/var/research/canal/canal/tests/ProductMessageTest.cpp:44(testMeet) assert failed: ((FakeMessageField*) message1.mFields[1])->meetCounter == 0
[bt]: (1) /var/research/canal/canal-build-28/tests/ProductMessageTest() [0x403126]
[bt]: (2) /var/research/canal/canal-build-28/tests/ProductMessageTest : main+0x14 [0x4035a8]
[bt]: (3) /lib/libc.so.6 : __libc_start_main+0xfd [0x2ac65f43fc8d]
[bt]: (4) /var/research/canal/canal-build-28/tests/ProductMessageTest() [0x402d59]