Gérald Point

AE seems stuck on a trivial test case

2

Hi, I'm using alt-ergo (2.4.0). AE fails to prove, at least in a reasonable amount of time, the following simple case generated by Why3 (the goal is an axiom). After...

Hi, I'd replaced the countdown table of the ClockManager by a PeriodicClockListener. This latter extends a FilteredClockListener that triggers any ClockListener w.r.t. an abstract method used to determine when `onClock`...

Creation of wireless/wired links

8

Hi, I have build a test showing that checks the creation of links when wired and wireless links are mixed. In this test, the topology has only two nodes: src...

Strange behavior of clocks

5

Hi, The attached program aims at comparing behaviours of `DefaultClock` and `JClock` objects. Here is what I have noticed: * First, clocks behave differently. Even if implementations differ, they are...

Hi, In several places, JBotSim uses `java.util.Random` class or Math.random() to produce randomized behaviors. In order to allow reproducible simulations like tests, it is unavoidable to have some mean to...

Hi, `Clock` objects contain a reference to a `ClockManager`. The only usage of this reference is the invocation of the `onClock` method on the `ClockManager`. Is there a reason to...

Usage of 'step' method

1

Hi, I've written a small test that plays with `Topology.step()` method. The aim of the test is to check that `N` invocations of the method should yield `N` invocations of...

JClock.setTimeUnit doesn't set initial delay of the timer

1

The method `JClock.setTimeUnit(int delay)` does not update the initial delay of the timer used by the `JClock`. I suggest to add `timer.setInitialDelay(delay)`.

In PlainTopologySerializer and TikzTopologySerializer, the export method uses only getLinks() to retrieve the links of the topology. Directed links are thus ignored.