slither

Commit Graph

Author	SHA1	Message	Date
Henrik Brodin	fdf346f530	Hbrodin/ssa array tests (#1205 ) * Initial array test cases. Not asserting anything yet. * Test cases for SSA IR related to arrays	3 years ago
Henrik Brodin	644f5e59a9	Test cases for SSA IR (#1101 ) * Test cases for SSA IR generation Attempts to verify a few basic properties of the generated SSA IR. Currently these tests fail because of IR that seems to be incorrect. Co-authored-by: Emilio López <2642849+elopez@users.noreply.github.com>	3 years ago

Author

SHA1

Message

Date

Henrik Brodin

fdf346f530

Hbrodin/ssa array tests (#1205 )

* Initial array test cases. Not asserting anything yet.
* Test cases for SSA IR related to arrays

3 years ago

Henrik Brodin

644f5e59a9

Test cases for SSA IR (#1101 )

* Test cases for SSA IR generation

Attempts to verify a few basic properties of the generated SSA IR.
Currently these tests fail because of IR that seems to be incorrect.

Co-authored-by: Emilio López <2642849+elopez@users.noreply.github.com>

3 years ago

2 Commits (e292c67082dcfa5b56c61fbcfae78d3f9a8e02d8)