From 712e7b7fa1893b2e989c4846e1839bcee0393a8c Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Mon, 2 Jul 2012 16:40:25 +0200 Subject: [PATCH] model-checker : copyright header for safety properties model checking examples --- examples/msg/mc/bugged1.c | 7 +++++++ examples/msg/mc/bugged2.c | 7 +++++++ examples/msg/mc/bugged3.c | 7 +++++++ examples/msg/mc/centralized_mutex.c | 7 +++++++ 4 files changed, 28 insertions(+) diff --git a/examples/msg/mc/bugged1.c b/examples/msg/mc/bugged1.c index c90257ac9a..3200fbd6c2 100644 --- a/examples/msg/mc/bugged1.c +++ b/examples/msg/mc/bugged1.c @@ -1,3 +1,10 @@ +/* Copyright (c) 2012. The SimGrid Team. + * All rights reserved. */ + +/* This program is free software; you can redistribute it and/or modify it + * under the terms of the license (GNU LGPL) which comes with this package. */ + + /******************** Non-deterministic message ordering *********************/ /* Server assumes a fixed order in the reception of messages from its clients */ /* which is incorrect because the message ordering is non-deterministic */ diff --git a/examples/msg/mc/bugged2.c b/examples/msg/mc/bugged2.c index e4c00d2f54..c5c98ab26a 100644 --- a/examples/msg/mc/bugged2.c +++ b/examples/msg/mc/bugged2.c @@ -1,3 +1,10 @@ +/* Copyright (c) 2012. The SimGrid Team. + * All rights reserved. */ + +/* This program is free software; you can redistribute it and/or modify it + * under the terms of the license (GNU LGPL) which comes with this package. */ + + /******************** Non-deterministic message ordering *********************/ /* Server assumes a fixed order in the reception of messages from its clients */ /* which is incorrect because the message ordering is non-deterministic */ diff --git a/examples/msg/mc/bugged3.c b/examples/msg/mc/bugged3.c index 276c4a21a4..dbf589fb35 100644 --- a/examples/msg/mc/bugged3.c +++ b/examples/msg/mc/bugged3.c @@ -1,3 +1,10 @@ +/* Copyright (c) 2012. The SimGrid Team. + * All rights reserved. */ + +/* This program is free software; you can redistribute it and/or modify it + * under the terms of the license (GNU LGPL) which comes with this package. */ + + /**************** Shared buffer between asynchronous receives *****************/ /* Server process assumes that the data from the second communication comm2 */ /* will overwrite the one from the first communication, because of the order */ diff --git a/examples/msg/mc/centralized_mutex.c b/examples/msg/mc/centralized_mutex.c index 22d1beaf02..5b3cd59e7b 100644 --- a/examples/msg/mc/centralized_mutex.c +++ b/examples/msg/mc/centralized_mutex.c @@ -1,3 +1,10 @@ +/* Copyright (c) 2012. The SimGrid Team. + * All rights reserved. */ + +/* This program is free software; you can redistribute it and/or modify it + * under the terms of the license (GNU LGPL) which comes with this package. */ + + /***************** Centralized Mutual Exclusion Algorithm *********************/ /* This example implements a centralized mutual exclusion algorithm. */ /* There is no bug on it, it is just provided to test the state space */ -- 2.20.1