ruby: removed SMT-related Sequencer assert
This commit is contained in:
parent
ef87b6dc82
commit
0637fe0bfd
1 changed files with 0 additions and 1 deletions
|
@ -375,7 +375,6 @@ bool Sequencer::isReady(const RubyRequest& request, bool dont_set) {
|
||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
|
|
||||||
assert(request.proc_id != 100);
|
|
||||||
if (m_servicing_atomic != 200 && m_servicing_atomic != request.proc_id) {
|
if (m_servicing_atomic != 200 && m_servicing_atomic != request.proc_id) {
|
||||||
assert(m_atomics_counter > 0);
|
assert(m_atomics_counter > 0);
|
||||||
return false;
|
return false;
|
||||||
|
|
Loading…
Reference in a new issue