Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Rice Wine
Iris
Repository
7fc8971111a0aec6134f9b4baf3a2a1f6c8040d8
Switch branch/tag
iris
tests
barrier_client.v
Find file
Blame
History
Permalink
Put the barrier client in the tests folder.
· 7fc89711
Robbert Krebbers
authored
Apr 19, 2016
It is just a test case and not really part of the barrier library.
7fc89711