Differences From Artifact [da53241e6e]:
- File tests/natools-cron-tests.ads — part of check-in [7daa408712] at 2014-08-14 17:11:27 on branch trunk — cron-tests: use the new Generic_Check tool (user: nat, size: 2580) [annotate] [blame] [check-ins using]
To Artifact [460bcc2dff]:
- File
tests/natools-cron-tests.ads
— part of check-in
[3267d1247d]
at
2017-04-12 20:54:47
on branch trunk
— cron-tests: new test to show an issue with unsafe access to Event_List
Thanks to OpenBSD for providing an environment where this issue could happen accidentally. Now to find a fix... (user: nat, size: 2653) [annotate] [blame] [check-ins using]
1 | ------------------------------------------------------------------------------ | | | 1 2 3 4 5 6 7 8 9 | ------------------------------------------------------------------------------ -- Copyright (c) 2014-2017, Natacha Porté -- -- -- -- Permission to use, copy, modify, and distribute this software for any -- -- purpose with or without fee is hereby granted, provided that the above -- -- copyright notice and this permission notice appear in all copies. -- -- -- -- THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES -- -- WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF -- |
| ︙ | ︙ | |||
24 25 26 27 28 29 30 31 32 33 34 35 36 37 |
package NT renames Natools.Tests;
procedure All_Tests (Report : in out NT.Reporter'Class);
procedure Basic_Usage (Report : in out NT.Reporter'Class);
procedure Delete_While_Busy (Report : in out NT.Reporter'Class);
procedure Insert_While_Busy (Report : in out NT.Reporter'Class);
procedure Time_Collision (Report : in out NT.Reporter'Class);
private
type Bounded_String (Max_Size : Natural) is record
Data : String (1 .. Max_Size);
| > | 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 |
package NT renames Natools.Tests;
procedure All_Tests (Report : in out NT.Reporter'Class);
procedure Basic_Usage (Report : in out NT.Reporter'Class);
procedure Delete_While_Busy (Report : in out NT.Reporter'Class);
procedure Delete_While_Collision (Report : in out NT.Reporter'Class);
procedure Insert_While_Busy (Report : in out NT.Reporter'Class);
procedure Time_Collision (Report : in out NT.Reporter'Class);
private
type Bounded_String (Max_Size : Natural) is record
Data : String (1 .. Max_Size);
|
| ︙ | ︙ |