Mercurial > hg > Papers > 2021 > anatofuz-master
view paper/src/useGene.cbc @ 155:6f940582768f
...
author | anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 16 Feb 2021 15:21:11 +0900 (2021-02-16) |
parents | b804a51037c7 |
children |
line wrap: on
line source
__code createTask1(struct LoopCounter* loopCounter, struct TaskManager* taskManager) { AtomicT<int>* fork0 = createAtomicTImpl<int>(contex,-1); // model checking : fork0 AtomicT<int>* fork1 = createAtomicTImpl<int>(contex,-1); // model checking : fork1 AtomicT<int>* fork2 = createAtomicTImpl<int>(contex,-1); // model checking : fork2 AtomicT<int>* fork3 = createAtomicTImpl<int>(contex,-1); // model checking : fork3 AtomicT<int>* fork4 = createAtomicTImpl<int>(contex,-1); // model checking : fork4 Phils* phils0 = createPhilsImpl(context,0,fork0,fork1); // model checking : phils0 Phils* phils1 = createPhilsImpl(context,1,fork1,fork2); // model checking : phils1 ...