<?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>