ContractAutomataProject / ContractAutomataLib / #68

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
#68	main	Merge remote-tracking branch 'origin/main'	push	15 Apr 2022 05:26PM UTC	davidebasile		pending completion   set done
#67	main	Update README.md	push	14 Apr 2022 09:50PM UTC	web-flow		pending completion   set done
#66	main	fixed testListSizeForMutation of UnionFunction irreflective operation no longer supported in java 17 Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	14 Apr 2022 09:12PM UTC	davidebasile		pending completion   set done
#65	main	fixed unnecessary stubbing Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	14 Apr 2022 08:15PM UTC	davidebasile		pending completion   set done
#64	main	fixed ModelCheckingFunctionTest Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	13 Apr 2022 04:44PM UTC	davidebasile		pending completion   set done
#63	main	updated build.yml Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	08 Apr 2022 10:23AM UTC	davidebasile		pending completion   set done
#62	main	remove unnecessary mockito stubbing Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	07 Apr 2022 05:39PM UTC	davidebasile		pending completion   set done
#61	main	CompositionFunction and ModelCheckingFunction unit and mutation tests updated moved folder test_resources inside folder test Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	06 Apr 2022 04:29PM UTC	davidebasile		pending completion   set done
#60	main	fixing the build tests for family.converters Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	04 Apr 2022 10:08PM UTC	davidebasile		pending completion   set done
#59	main	fixing the build, tests for family.converters Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	04 Apr 2022 09:49PM UTC	davidebasile		pending completion   set done
#58	main	fixing the build, tests for family.converters Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	04 Apr 2022 08:35PM UTC	davidebasile		pending completion   set done
#57	main	coverage and mutation testing of family converters Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	04 Apr 2022 06:17PM UTC	davidebasile		pending completion   set done
#56	main	coverage and mutation testing of family converters Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	04 Apr 2022 05:52PM UTC	davidebasile		pending completion   set done
#55	main	completed FMCA class (mutation testing and branch coverage) Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	04 Apr 2022 12:13PM UTC	davidebasile		pending completion   set done
#54	main	mutation testing and coverage of converters Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	28 Mar 2022 10:34AM UTC	davidebasile		pending completion   set done

• ← Previous
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11
• Next →