(************************************************************
 *                      IMITATOR MODEL
 *
 * Unsolvable benchmark for cycle synthesis
 *
 * Description     : Unsolvable benchmark for cycle synthesis. The tool cannot find the cycle because the generated clock constraints grow forever.
 * Correctness     : Cycle
 * Source          : Own work
 * Author          : Jaco Van de Pol
 * Modeling        : Jaco Van de Pol
 * Input by        : Jaco Van de Pol, Étienne André
 * License         : Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0)
 *
 * Created         : 2020/08
 * Last modified   : 2020/09/24
 *
 *
 * Computation      : Unsolvable
 * 
 * IMITATOR version: 3.0
 ************************************************************)

property := #synth Cycle;