Support speculative unsafe commands (like break and continue) #686

angelhof · 2023-06-01T18:17:22Z

No description provided.

github-actions · 2023-06-01T18:23:31Z

OS:ubuntu-20.04
Thu Jun 1 18:23:31 UTC 2023
intro: 2/2 tests passed.
interface: 41/41 tests passed.
compiler: 54/54 tests passed.

github-actions · 2023-06-01T18:24:35Z

OS:ubuntu-20.04
Thu Jun 1 18:24:35 UTC 2023
intro: 2/2 tests passed.
interface: 41/41 tests passed.
compiler: 54/54 tests passed.

github-actions · 2023-06-01T18:28:30Z

OS = Debian 10
CPU = Intel(R) Core(TM) i7-8700 CPU @ 3.20GHz
Ram = 15752
Hash = cece488
Kernel= Linux 4.15.0-197-generic x86_64

benchmark	tests	passed	failed	untested	unresolved	unsupported	not_in_use
posix	494	375	41	31	6	40	1
intro	2	2	0	0	0	0	0
interface	41	41	0	0	0	0	0
compiler	54	54	0	0	0	0	0

github-actions · 2023-06-01T18:38:18Z

OS = Debian 10
CPU = Intel(R) Core(TM) i7-8700 CPU @ 3.20GHz
Ram = 15752
Hash = 050198e
Kernel= Linux 4.15.0-197-generic x86_64

benchmark	tests	passed	failed	untested	unresolved	unsupported	not_in_use
posix	494	375	41	31	6	40	1
intro	2	2	0	0	0	0	0
interface	41	41	0	0	0	0	0
compiler	54	54	0	0	0	0	0

angelhof added 3 commits June 1, 2023 14:15

Support speculative unsafe commands (like break and continue)

61de0e5

comment

cece488

sc warning disable

050198e

angelhof merged commit 29ccd26 into future Jun 1, 2023

angelhof deleted the support-spec-unsafe branch June 1, 2023 18:48

Provide feedback