public function test_keyval_representation_2() { $cs = array('a:(-1)^2'); foreach ($cs as $s) { $s1[] = new stack_cas_casstring($s); } $at1 = new stack_cas_session($s1, null, 0); $this->assertEquals('a:(-1)^2;', $at1->get_keyval_representation()); $at1->instantiate(); $this->assertEquals('a:1;', $at1->get_keyval_representation()); }