Kiran Gopinathan kiranandcode

🏳️‍⚧️

back in business

Researcher working on proof repair and maintenance

kiranandcode / dependent_view_drops_called.rs

Created August 4, 2018 00:43

A quick test demonstrating how the dependent view ensures that all items are still dropped as expected.

	#[macro_use] extern crate dependent_view;

	use std::rc::{Weak, Rc};
	use dependent_view::rc::DependentRc;

	trait Testable {
	fn get_id(&self) -> usize;
	fn get_i_id(&self) -> usize;
	}

kiranandcode / dataset.txt

Created January 21, 2018 14:06

	class DataSet {
	String dateStrings[] = new String[350];
	Float precipitationValues[] = new Float[350];
	DataSet() {
	dateStrings[0] = "21/03/1948";
	precipitationValues[0] = 2.04;
	dateStrings[1] = "26/09/1948";
	precipitationValues[1] = 1.51;
	dateStrings[2] = "16/02/1949";
	precipitationValues[2] = 1.83;