public void test_Rule_setFormula1() {
   String formula = "k1*X0";
   int i = R.setFormula(formula);
   assertTrue(i == libsbml.LIBSBML_OPERATION_SUCCESS);
   assertTrue(R.getFormula().equals(formula));
   assertEquals(true, R.isSetFormula());
 }
 public void test_Rule_setFormula3() {
   String formula = "k1 X0";
   int i = R.setFormula(formula);
   assertTrue(i == libsbml.LIBSBML_INVALID_OBJECT);
   assertEquals(false, R.isSetFormula());
 }
 public void test_Rule_setFormula2() {
   int i = R.setFormula("");
   assertTrue(i == libsbml.LIBSBML_OPERATION_SUCCESS);
   assertEquals(false, R.isSetFormula());
 }