3 ms·
the root cause of the original problem is caused by invalid IR, which can be caught by IR verification -- which is actually different from assertion.
by mshockwave 5y ago
the root cause of the original problem is caused by invalid IR, which can be caught by IR verification -- which is actually different from assertion.
- jackosdev 5y agoSo would something like miri have caught this if it was in their CI?