Index of /s/sys/buster-libre-soc/home/mdasoh/src/hdl_tools/bitwuzla/deps/btor2tools/test/tests

	Name	Last modified	Size	Description
	Parent Directory		-
	aa.in	2021-06-28 16:38	7
	aa.out	2021-06-28 16:38	61
	addnlafterfirstarg.in	2021-06-28 16:38	36
	addnlafterfirstarg.out	2021-06-28 16:38	109
	addnospaceafterfirstarg.in	2021-06-28 16:38	43
	addnospaceafterfirstarg.out	2021-06-28 16:38	114
	allop2s.in	2021-06-28 16:38	296
	allop2s.out	2021-06-28 16:38	296
	andargmismatch.in	2021-06-28 16:38	78
	andargmismatch.out	2021-06-28 16:38	111
	andlenospace.in	2021-06-28 16:38	39
	andlenospace.out	2021-06-28 16:38	83
	andonesone.in	2021-06-28 16:38	47
	andonesone.out	2021-06-28 16:38	47
	andoutmismatch.in	2021-06-28 16:38	63
	andoutmismatch.out	2021-06-28 16:38	112
	andtrailspace.in	2021-06-28 16:38	39
	andtrailspace.out	2021-06-28 16:38	68
	argidlarger.in	2021-06-28 16:38	26
	argidlarger.out	2021-06-28 16:38	87
	array.in	2021-06-28 16:38	100
	array.out	2021-06-28 16:38	67
	arrayasbv.in	2021-06-28 16:38	88
	arrayasbv.out	2021-06-28 16:38	98
	arraynospaceaftersort.in	2021-06-28 16:38	51
	arraynospaceaftersort.out	2021-06-28 16:38	112
	empty.in	2021-06-28 16:38	0
	empty.out	2021-06-28 16:38	0
	emptytag.in	2021-06-28 16:38	3
	emptytag.out	2021-06-28 16:38	63
	gap.in	2021-06-28 16:38	27
	gap.out	2021-06-28 16:38	27
	ii.in	2021-06-28 16:38	7
	ii.out	2021-06-28 16:38	61
	implies2ndargundef.in	2021-06-28 16:38	42
	implies2ndargundef.out	2021-06-28 16:38	82
	input.in	2021-06-28 16:38	26
	input.out	2021-06-28 16:38	26
	inputemptysym.in	2021-06-28 16:38	27
	inputemptysym.out	2021-06-28 16:38	68
	inputeofinsym.in	2021-06-28 16:38	31
	inputeofinsym.out	2021-06-28 16:38	31
	inputsymspace.in	2021-06-28 16:38	35
	inputsymspace.out	2021-06-28 16:38	88
	invalidargid.in	2021-06-28 16:38	26
	invalidargid.out	2021-06-28 16:38	88
	invalidid.in	2021-06-28 16:38	27
	invalidid.out	2021-06-28 16:38	70
	invalidid0.in	2021-06-28 16:38	16
	invalidid0.out	2021-06-28 16:38	88
	invalidtag.in	2021-06-28 16:38	4
	invalidtag.out	2021-06-28 16:38	65
	ll.in	2021-06-28 16:38	7
	ll.out	2021-06-28 16:38	61
	maxid.in	2021-06-28 16:38	15
	maxid.out	2021-06-28 16:38	66
	maxlen.in	2021-06-28 16:38	25
	maxlen.out	2021-06-28 16:38	95
	mm.in	2021-06-28 16:38	7
	mm.out	2021-06-28 16:38	61
	nlnlnl.in	2021-06-28 16:38	4
	nlnlnl.out	2021-06-28 16:38	0
	nn.in	2021-06-28 16:38	7
	nn.out	2021-06-28 16:38	61
	nondigitid.in	2021-06-28 16:38	2
	nondigitid.out	2021-06-28 16:38	79
	nondigitlen.in	2021-06-28 16:38	8
	nondigitlen.out	2021-06-28 16:38	80
	nonewlinecomment.in	2021-06-28 16:38	24
	nonewlinecomment.out	2021-06-28 16:38	92
	nor2ndargnospace.in	2021-06-28 16:38	45
	nor2ndargnospace.out	2021-06-28 16:38	92
	nospaceafterid.in	2021-06-28 16:38	9
	nospaceafterid.out	2021-06-28 16:38	80
	onesnospace.in	2021-06-28 16:38	33
	onesnospace.out	2021-06-28 16:38	102
	oo.in	2021-06-28 16:38	7
	oo.out	2021-06-28 16:38	61
	samearg.in	2021-06-28 16:38	10
	samearg.out	2021-06-28 16:38	67
	sortarray.in	2021-06-28 16:38	83
	sortarray.out	2021-06-28 16:38	83
	sortarrayargs1.in	2021-06-28 16:38	13
	sortarrayargs1.out	2021-06-28 16:38	81
	sortarrayargs2.in	2021-06-28 16:38	31
	sortarrayargs2.out	2021-06-28 16:38	71
	sortarrayargs3.in	2021-06-28 16:38	15
	sortarrayargs3.out	2021-06-28 16:38	74
	sortarrayargs4.in	2021-06-28 16:38	17
	sortarrayargs4.out	2021-06-28 16:38	74
	sortarraywarrayarg.in	2021-06-28 16:38	50
	sortarraywarrayarg.out	2021-06-28 16:38	50
	sortasarg.in	2021-06-28 16:38	29
	sortasarg.out	2021-06-28 16:38	85
	sortbitvec.in	2021-06-28 16:38	50
	sortbitvec.out	2021-06-28 16:38	50
	sortbvnobw.in	2021-06-28 16:38	14
	sortbvnobw.out	2021-06-28 16:38	77
	sortnotag.in	2021-06-28 16:38	9
	sortnotag.out	2021-06-28 16:38	64
	space.in	2021-06-28 16:38	33
	space.out	2021-06-28 16:38	0
	ss.in	2021-06-28 16:38	7
	ss.out	2021-06-28 16:38	61
	state.in	2021-06-28 16:38	48
	state.out	2021-06-28 16:38	48
	statenospace.in	2021-06-28 16:38	34
	statenospace.out	2021-06-28 16:38	103
	tab.in	2021-06-28 16:38	91
	tab.out	2021-06-28 16:38	87
	tagnospace.in	2021-06-28 16:38	7
	tagnospace.out	2021-06-28 16:38	77
	undefinedargid.in	2021-06-28 16:38	28
	undefinedargid.out	2021-06-28 16:38	78
	unordered.in	2021-06-28 16:38	51
	unordered.out	2021-06-28 16:38	67
	uu.in	2021-06-28 16:38	7
	uu.out	2021-06-28 16:38	61
	vv.in	2021-06-28 16:38	7
	vv.out	2021-06-28 16:38	61
	xx.in	2021-06-28 16:38	7
	xx.out	2021-06-28 16:38	61
	zero1.in	2021-06-28 16:38	25
	zero1.out	2021-06-28 16:38	25
	zero32.in	2021-06-28 16:38	26
	zero32.out	2021-06-28 16:38	26
	zeroid.in	2021-06-28 16:38	2
	zeroid.out	2021-06-28 16:38	84
	zerolen.in	2021-06-28 16:38	16
	zerolen.out	2021-06-28 16:38	82
	zerowitharg.in	2021-06-28 16:38	29
	zerowitharg.out	2021-06-28 16:38	86
	zz.in	2021-06-28 16:38	7
	zz.out	2021-06-28 16:38	61