Skip to content

Commit

Permalink
Increase timeout of KeyboardClass test
Browse files Browse the repository at this point in the history
  • Loading branch information
keyboardDrummer committed Aug 9, 2024
1 parent f98fe32 commit b57c1ed
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Test/havoc0/KeyboardClassFindMorePorts.bpl
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// RUN: %parallel-boogie "%s" > "%t"
// RUN: %parallel-boogie "%s" /timeLimit:90 > "%t"
// RUN: %diff success.expect "%t"
type byte, name;
function OneByteToInt(byte) returns (int);
Expand Down

0 comments on commit b57c1ed

Please sign in to comment.