10

dir
66
https://o-nice-exp.googlecode.com/svn/trunk/nice/model_checker/invariants
https://o-nice-exp.googlecode.com/svn



2012-08-18T05:06:46.017755Z
2
sunxiaoye07@gmail.com














5cb8341a-e904-3ad2-2ba0-f500c7406a25

no_truncate.py
file




2014-09-02T04:37:36.361641Z
f1b42f8087d5148c722f6d48a50cdde4
2012-08-18T05:06:46.017755Z
2
sunxiaoye07@gmail.com





















2704

return_continue_stop.py
file




2014-09-02T04:37:36.357641Z
a73cf3f719464eee49e503e8120156d6
2012-08-18T05:06:46.017755Z
2
sunxiaoye07@gmail.com





















2339

strict_direct_route_invariant.py
file




2014-09-02T04:37:36.357641Z
4c60461f2a6f28e269fb826ba0688cab
2012-08-18T05:06:46.017755Z
2
sunxiaoye07@gmail.com





















2899

invariant.py
file




2014-09-02T04:37:36.357641Z
f16ee5c4ca889f47011a0d92e2215ae3
2012-08-18T05:06:46.017755Z
2
sunxiaoye07@gmail.com





















2949

__init__.py
file




2014-09-02T04:37:36.361641Z
d41d8cd98f00b204e9800998ecf8427e
2012-08-18T05:06:46.017755Z
2
sunxiaoye07@gmail.com





















0

invariant_dispatcher.py
file




2014-09-02T04:37:36.361641Z
cbad249848733c2ef7bce84f2d533ad9
2012-08-18T05:06:46.017755Z
2
sunxiaoye07@gmail.com





















3550

no_drop_mobile_invariant.py
file




2014-09-02T04:37:36.361641Z
ac982cec7f10da87dc1e1d197446ae19
2012-08-18T05:06:46.017755Z
2
sunxiaoye07@gmail.com





















3988

no_forgotten_packets_config.py
file




2014-09-02T04:37:36.361641Z
cfbc28861754d62ff6ef7b3034741878
2012-08-18T05:06:46.017755Z
2
sunxiaoye07@gmail.com





















2983

direct_route_invariant.py
file




2014-09-02T04:37:36.361641Z
9a0da61d7f1f66c09809b65bc227daac
2012-08-18T05:06:46.017755Z
2
sunxiaoye07@gmail.com





















2903

violation.py
file




2014-09-02T04:37:36.361641Z
721379fd9edf68f5e8758e941216f0ef
2012-08-18T05:06:46.017755Z
2
sunxiaoye07@gmail.com





















2347

eate_route_invariant.py
file




2014-09-02T04:37:36.361641Z
f812299885021bbe813ac0bc9c1b7ff6
2012-08-18T05:06:46.017755Z
2
sunxiaoye07@gmail.com
has-props




















2766

one_flow_one_destination.py
file




2014-09-02T04:37:36.357641Z
b42f9ef65b5839b24e65ee8aa231dca6
2012-08-18T05:06:46.017755Z
2
sunxiaoye07@gmail.com





















3095

no_drop_invariant.py
file




2014-09-02T04:37:36.357641Z
7f5840fdbb25aa0e42b2270888e11eb1
2012-08-18T05:06:46.017755Z
2
sunxiaoye07@gmail.com





















3748

no_forgotten_packets.py
file




2014-09-02T04:37:36.361641Z
fa66464fb8e9a73367ee785896897f04
2012-08-18T05:06:46.017755Z
2
sunxiaoye07@gmail.com





















2324

no_loop_invariant.py
file




2014-09-02T04:37:36.361641Z
2756aa7c013600db86778904d0d0fd29
2012-08-18T05:06:46.017755Z
2
sunxiaoye07@gmail.com





















2259

