Lars Toenning
							
						 
					 | 
					
						
						
							
						
						f1084fb309
					 | 
					
						
						
							
							Fix references to license file
						
						
						
						
						
						
						
						The license file was renamed with 6a502cc2f5 
						
						
					 | 
					
						2022-10-28 11:30:15 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Martin Hořeňovský
							
						 
					 | 
					
						
						
							
						
						51888d360a
					 | 
					
						
						
							
							Use the new licence header in TestScripts
						
						
						
						
						
						
					 | 
					
						2022-01-29 00:04:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Martin Hořeňovský
							
						 
					 | 
					
						
						
							
						
						d861e73f86
					 | 
					
						
						
							
							Handle full unique test identifiers in testRandomOrder.py
						
						
						
						
						
						
					 | 
					
						2022-01-27 21:11:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Martin Hořeňovský
							
						 
					 | 
					
						
						
							
						
						250d9b9c72
					 | 
					
						
						
							
							Fix how testRandomOrder.py builds tag arguments
						
						
						
						
						
						
					 | 
					
						2020-07-26 10:51:55 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Martin Hořeňovský
							
						 
					 | 
					
						
						
							
						
						9b5fc9eaea
					 | 
					
						
						
							
							Randomize test for subset invariant random ordering of tests
						
						
						
						
						
						
						
						Also removed the iterative checking that seeds 1-100 do not create
the same output, because it used too much runtime. 
						
						
					 | 
					
						2020-05-01 14:45:36 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Bytheway
							
						 
					 | 
					
						
						
							
						
						630ba26278
					 | 
					
						
						
							
							Add test for consistent random ordering
						
						
						
						
						
						
						
						-- Fixed up during cherrypicking 
						
						
					 | 
					
						2020-05-01 14:30:01 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |