For parameterized libraries using inline_tests, it should be possible to specify the list of parameter implementations which will be used by the test executable:

(library
  (name ...)
  (parameters a b c)
  (inline_tests
	...
	(instantiate a_impl b_impl c_impl)
  ))

This restricts the testing to a single instantiation, so instead we could consider producing multiple test executables from a list of lists of arguments:

	(instantiate
  	  (a_impl0 b_impl0 c_impl0)
  	  (a_impl1 b_impl1 c_impl1)
  	  ...)