| <?xml version="1.0"?> |
| <!-- |
| Copyright 2016, NICTA |
| |
| This software may be distributed and modified according to the terms of |
| the GNU General Public License version 2. Note that NO WARRANTY is provided. |
| See "LICENSE_GPLv2.txt" for details. |
| |
| @TAG(NICTA_GPL) |
| --> |
| |
| <!-- artificial dependency on isabelle to fail fast if |
| isabelle setup doesn't work --> |
| <testsuite depends="isabelle" timeout="7200"> |
| <test name="bilbyfs_sync" depends="bilbyfs_typecheck">make sync</test> |
| <test name="bilbyfs_iget" depends="bilbyfs_typecheck">make iget</test> |
| </testsuite> |