BugGen / examples /short_deadlock /description.txt
piliguori's picture
update examples
cdcab39
raw
history blame
269 Bytes
Alter the behavior of the get function to introduce a Missing if-else construct plus statements (MIES) fault. The function should fail due to removing the if-else construct controlling the release_esema variable and its conditional release, causing potential deadlocks.